Seshia, Sanjit: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A Contract-Based Methodology for Aircraft Electric Power System Design

Nuzzo, Pierluigi, Huan Xu,, Ozay, Necmiye, Finn, John B., Sangiovanni-Vincentelli, Alberto L., Murray, Richard M., Donze, Alexandre, Seshia, Sanjit A.

Journal:

Year:

2014

Language:

english

File:

PDF, 10.07 MB

english, 2014

2

Reverse Engineering Digital Circuits Using Structural and Functional Analyses

Subramanyan, Pramod, Tsiskaridze, Nestan, Li, Wenchao, Gascon, Adria, Tan, Wei Yang, Tiwari, Ashish, Shankar, Natarajan, Seshia, Sanjit A., Malik, Sharad

Journal:

IEEE Transactions on Emerging Topics in Computing

Year:

2014

Language:

english

File:

PDF, 32.32 MB

english, 2014

3

[IEEE 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Portland, OR, USA (2019.6.24-2019.6.27)] 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems

Desai, Ankush, Ghosh, Shromona, Seshia, Sanjit A., Shankar, Natarajan, Tiwari, Ashish

Year:

2019

Language:

english

File:

PDF, 1.64 MB

english, 2019

4

Symbolic control design for monotone systems with directed specifications

Kim, Eric S., Arcak, Murat, Seshia, Sanjit A.

Journal:

Year:

2017

Language:

english

File:

PDF, 1020 KB

english, 2017

5

Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities

Seshia, Sanjit A., Hu, Shiyan, Li, Wenchao, Zhu, Qi

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2016

Language:

english

File:

PDF, 12.48 MB

english, 2016

6

[IEEE 2011 IEEE International Symposium on Circuits and Systems (ISCAS) - Rio de Janeiro, Brazil (2011.05.15-2011.05.18)] 2011 IEEE International Symposium of Circuits and Systems (ISCAS) - An introductory capstone design course on embedded systems

Jensen, Jeff C., Lee, Edward A., Seshia, Sanjit A.

Year:

2011

Language:

english

File:

PDF, 500 KB

english, 2011

7

Combinatorial sketching for finite programs

Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, Saraswat, Vijay

Journal:

ACM SIGOPS Operating Systems Review

Year:

2006

Language:

english

File:

PDF, 307 KB

english, 2006

8

SAE Technical Paper Series [SAE International SAE 2016 World Congress and Exhibition - (APR. 12, 2016)] SAE Technical Paper Series - ST-Lib: A Library for Specifying and Classifying Model Behaviors

Kapinski, James, Jin, Xiaoqing, Deshmukh, Jyotirmoy, Donze, Alexandre, Yamaguchi, Tomoya, Ito, Hisahiro, Kaga, Tomoyuki, Kobuna, Shunsuke, Seshia, Sanjit

Year:

2016

Language:

english

File:

PDF, 1.58 MB

english, 2016

9

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks

Shoukry, Yasser, Chong, Michelle, Wakaiki, Masashi, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A., Hespanha, JOÃo P., Tabuada, Paulo

Journal:

ACM Transactions on Cyber-Physical Systems

Year:

2018

Language:

english

File:

PDF, 944 KB

english, 2018

10

[IEEE 2012 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) - San Francisco, CA, USA (2012.06.3-2012.06.4)] 2012 IEEE International Symposium on Hardware-Oriented Security and Trust - Reverse engineering circuits using behavioral pattern mining

Li, Wenchao, Wasson, Zach, Seshia, Sanjit A.

Year:

2012

Language:

english

File:

PDF, 365 KB

english, 2012

11

[IEEE 2014 International Conference on the Internet of Things (IOT) - Cambridge, MA, USA (2014.10.6-2014.10.8)] 2014 International Conference on the Internet of Things (IOT) - Game theoretic secure localization in wireless sensor networks

Jha, Susmit, Tripakis, Stavros, Seshia, Sanjit A., Chatterjee, Krishnendu

Year:

2014

Language:

english

File:

PDF, 250 KB

english, 2014

12

Planning for cars that coordinate with people: leveraging effects on human actions for planning and active information gathering over human internal state

Sadigh, Dorsa, Landolfi, Nick, Sastry, Shankar S., Seshia, Sanjit A., Dragan, Anca D.

Journal:

Autonomous Robots

Year:

2018

Language:

english

File:

PDF, 6.59 MB

english, 2018

13

[IEEE 2019 International Conference on Robotics and Automation (ICRA) - Montreal, QC, Canada (2019.5.20-2019.5.24)] 2019 International Conference on Robotics and Automation (ICRA) - Formal Policy Learning from Demonstrations for Reachability Properties

Ravanbakhsh, Hadi, Sankaranarayanan, Sriram, Seshia, Sanjit A.

Year:

2019

Language:

english

File:

PDF, 384 KB

english, 2019

14

The Swarm at the Edge of the Cloud

Lee, Edward A., Rabaey, Jan, Hartmann, Bjorn, Kubiatowicz, John, Pister, Kris, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A., Wawrzynek, John, Wessel, David, Rosing, Tajana Simunic, Blaauw, Davi

Journal:

IEEE Design and Test

Year:

2014

Language:

english

File:

PDF, 670 KB

english, 2014

15

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - Game-theoretic timing analysis

Seshia, Sanjit A., Rakhlin, Alexander

Year:

2008

Language:

english

File:

PDF, 304 KB

english, 2008

16

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Systematic testing of asynchronous reactive systems

Desai, Ankush, Qadeer, Shaz, Seshia, Sanjit A.

Year:

2015

Language:

english

File:

PDF, 1.24 MB

english, 2015

17

TeLEx: learning signal temporal logic from positive examples using tightness metric

Jha, Susmit, Tiwari, Ashish, Seshia, Sanjit A., Sahai, Tuhin, Shankar, Natarajan

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 1010 KB

english, 2019

18

Cloud-based Quadratic Optimization with Partially Homomorphic Encryption

Alexandru, Andreea B., Gatsis, Konstantinos, Shoukry, Yasser, Seshia, Sanjit A., Tabuada, Paulo, Pappas, George J.

Journal:

IEEE Transactions on Automatic Control

Year:

2020

File:

PDF, 619 KB

2020

19

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Verification-Guided Soft Error Resilience

Seshia, Sanjit A., Li, Wenchao, Mitra, Subhasish

Year:

2007

Language:

english

File:

PDF, 212 KB

english, 2007

20

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Syntax-guided synthesis

Alur, Rajeev, Bodik, Rastislav, Juniwal, Garvit, Martin, Milo M. K., Raghothaman, Mukund, Seshia, Sanjit A., Singh, Rishabh, Solar-Lezama, Armando, Torlak, Emina, Udupa, Abhishek

Year:

2013

Language:

english

File:

PDF, 350 KB

english, 2013

21

[IEEE 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012) - Arlington, VA, USA (2012.07.16-2012.07.17)] Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) - Compositional performance verification of NoC designs

Holcomb, Daniel E., Gotmanov, Alexander, Kishinevsky, Michael, Seshia, Sanjit A.

Year:

2012

Language:

english

File:

PDF, 1.56 MB

english, 2012

22

[Lecture Notes in Computer Science] Verified Software: Theories, Tools, and Experiments Volume 9593 || Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover

Gurfinkel, Arie, Seshia, Sanjit A.

Year:

2016

Language:

english

File:

PDF, 339 KB

english, 2016

23

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Scenic: a language for scenario specification and scene generation

Fremont, Daniel J., Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.

Year:

2019

File:

PDF, 1.36 MB

2019

24

Verifying Robustness of Human-Aware Autonomous Cars

Sadigh, Dorsa, Sastry, S. Shankar, Seshia, Sanjit A.

Journal:

IFAC-PapersOnLine

Year:

2019

Language:

english

File:

PDF, 1.30 MB

english, 2019

25

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - ATLAS: Automatic Term-level abstraction of RTL designs

Brady, Bryan A., Bryant, Randal E., Seshia, Sanjit A., O'Leary, John W.

Year:

2010

Language:

english

File:

PDF, 392 KB

english, 2010

26

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Model predictive control with signal temporal logic specifications

Raman, Vasumathi, Donze, Alexandre, Maasoumy, Mehdi, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.

Year:

2014

Language:

english

File:

PDF, 373 KB

english, 2014

27

Synthesis of Obfuscation Policies to Ensure Privacy and Utility

Wu, Yi-Chin, Raman, Vasumathi, Rawlings, Blake C., Lafortune, Stéphane, Seshia, Sanjit A.

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 833 KB

english, 2017

28

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games

Vazquez-Chanlatte, Marcell J., Ghosh, Shromona, Raman, Vasumathi, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 676 KB

english, 2018

29

On Solving Boolean Combinations of UTVPI Constraints

Seshia, Sanjit A., Subramani, K., Bryant, Randal E., Cook, Byron, Sebastiani, Roberto

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2007

File:

PDF, 339 KB

2007

30

[ACM Press the 2010 Workshop - Scottsdale, Arizona (2010.10.28-2010.10.28)] Proceedings of the 2010 Workshop on Embedded Systems Education - WESE '10 - An introductory textbook on cyber-physical systems

Lee, Edward A., Seshia, Sanjit A.

Year:

2010

Language:

english

File:

PDF, 203 KB

english, 2010

31

[Lecture Notes in Computer Science] Computer Aided Verification Volume 7358 || Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System

Madhusudan, P., Seshia, Sanjit A.

Year:

2012

Language:

english

File:

PDF, 297 KB

english, 2012

32

[ACM Press the 16th ACM conference - Chicago, Illinois, USA (2009.11.09-2009.11.13)] Proceedings of the 16th ACM conference on Computer and communications security - CCS '09 - On voting machine design for verification and testability

Sturton, Cynthia, Jha, Susmit, Seshia, Sanjit A., Wagner, David

Year:

2009

Language:

english

File:

PDF, 463 KB

english, 2009

33

[ACM Press the Second (2015) ACM Conference - Vancouver, BC, Canada (2015.03.14-2015.03.18)] Proceedings of the Second (2015) ACM Conference on Learning @ Scale - L@S '15 - Clustering-Based Active Learning for CPSGrader

Juniwal, Garvit, Jain, Sakshi, Donzé, Alexandre, Seshia, Sanjit A.

Year:

2015

Language:

english

File:

PDF, 1.14 MB

english, 2015

34

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - Synthesis of optimal switching logic for hybrid systems

Jha, Susmit, Seshia, Sanjit A., Tiwari, Ashish

Year:

2011

Language:

english

File:

PDF, 519 KB

english, 2011

35

Combining Induction, Deduction, and Structure for Verification and Synthesis

Seshia, Sanjit A.

Journal:

Proceedings of the IEEE

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

36

[IEEE 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) - Seattle, WA, USA (2020.6.13-2020.6.19)] 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) - A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors

Kim, Edward, Gopinath, Divya, Pasareanu, Corina, Seshia, Sanjit A.

Year:

2020

File:

PDF, 629 KB

2020

37

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Mining assumptions for synthesis

Li, Wenchao, Dworkin, Lili, Seshia, Sanjit A.

Year:

2011

Language:

english

File:

PDF, 379 KB

english, 2011

38

[ACM Press the Workshop - Tampere, Finland (2012.10.12-2012.10.12)] Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education - WESE '12 - Automating exercise generation

Sadigh, Dorsa, Seshia, Sanjit A., Gupta, Mona

Year:

2013

Language:

english

File:

PDF, 662 KB

english, 2013

39

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance

Kupferman, Orna, Li, Wenchao, Seshia, Sanjit A.

Year:

2008

Language:

english

File:

PDF, 220 KB

english, 2008

40

[ACM Press the 3rd international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 - Safety envelope for security

Tiwari, Ashish, Dutertre, Bruno, Jovanović, Dejan, de Candia, Thomas, Lincoln, Patrick D., Rushby, John, Sadigh, Dorsa, Seshia, Sanjit

Year:

2014

Language:

english

File:

PDF, 572 KB

english, 2014

41

A theory of formal synthesis via inductive learning

Jha, Susmit, Seshia, Sanjit A.

Journal:

Acta Informatica

Year:

2017

Language:

english

File:

PDF, 744 KB

english, 2017

42

[IEEE Fourth International Conference on Autonomic Computing (ICAC'07) - Jacksonville, FL, USA (2007.06.11-2007.06.15)] Fourth International Conference on Autonomic Computing (ICAC'07) - Autonomic Reactive Systems via Online Learning

Seshia, Sanjit A.

Year:

2007

Language:

english

File:

PDF, 236 KB

english, 2007

43

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Privacy-aware quadratic optimization using partially homomorphic encryption

Shoukry, Yasser, Gatsis, Konstantinos, Alanwar, Amr, Pappas, George J., Seshia, Sanjit A., Srivastava, Mani, Tabuada, Paulo

Year:

2016

Language:

english

File:

PDF, 406 KB

english, 2016

44

[ACM Press the 2017 ACM SIGSAC Conference - Dallas, Texas, USA (2017.10.30-2017.11.03)] Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17 - A Formal Foundation for Secure Remote Execution of Enclaves

Subramanyan, Pramod, Sinha, Rohit, Lebedev, Ilia, Devadas, Srinivas, Seshia, Sanjit A.

Year:

2017

Language:

english

File:

PDF, 1.23 MB

english, 2017

45

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Automatic Model Generation for Black Box Real-Time Systems

Feng, Thomas Huining, Wang, Lynn, Zheng, Wei, Kanajan, Sri, Seshia, Sanjit A.

Year:

2007

Language:

english

File:

PDF, 200 KB

english, 2007

46

[IEEE 2009 IEEE International High Level Design Validation and Test Workshop (HLDVT) - San Francisco, CA, USA (2009.11.4-2009.11.6)] 2009 IEEE International High Level Design Validation and Test Workshop - Localizing transient faults using dynamic bayesian networks

Jha, Susmit, Li, Wenchao, Seshia, Sanjit A.

Year:

2009

Language:

english

File:

PDF, 930 KB

english, 2009

47

Robust Subspace System Identification via Weighted Nuclear Norm Optimization

Sadigh, Dorsa, Ohlsson, Henrik, Sastry, S. Shankar, Seshia, Sanjit A.

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 370 KB

english, 2014

48

[IEEE 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC) - Rio de Janeiro, Brazil (2016.11.1-2016.11.4)] 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC) - Towards trustworthy automation: User interfaces that convey internal and external awareness

Rezvani, Tara, Driggs-Campbell, Katherine, Sadigh, Dorsa, Sastry, S. Shankar, Seshia, Sanjit A., Bajcsy, Ruzena

Year:

2016

Language:

english

File:

PDF, 1.51 MB

english, 2016

49

Specification Mining for Machine Improvisation with Formal Specifications

Valle, Rafael, Donzé, Alexandre, Fremont, Daniel J., Akkaya, Ilge, Seshia, Sanjit A., Freed, Adrian, Wessel, David

Journal:

Computers in Entertainment

Year:

2017

Language:

english

File:

PDF, 1.28 MB

english, 2017

50

[IEEE IEEE International Conference on Web Services (ICWS 2007) - Salt Lake City, UT, USA (2007.07.9-2007.07.13)] IEEE International Conference on Web Services (ICWS 2007) - An Application ofWeb-Service Interfaces

Beyer, Dirk, Chakrabarti, Arindam, Henzinger, Thomas A., Seshia, Sanjit A.

Year:

2007

Language:

english

File:

PDF, 231 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски